map meta

/avail/Avail/Foundation/Bootstrap/Special Objects: map meta
Source: /avail/Avail/Foundation/Bootstrap/Special Objects (Documentation only; not exported for use)
Categories: Primitives, Types
See: {_→_`|_}
See: {_→_`|_.._}
See: {_→_`|_..}
See: {_→_`|.._}
See: {_→_`|}
The map type specifies three parameters for completion:
  • The key type specifies a type that includes every key of the domain. The method _'s⁇key type answers the key type of a map type.
  • The value type specifies a type that includes every value of the codomain. The method _'s⁇value type answers the value type of a map type.
  • The cardinality restriction is an integral type that specifies the range of sizes that describe instances. The method `|`|_`|`| answers the cardinality restriction of a map type. The floor operation, ⎣_⎦, answers the lower bound of a map type's cardinality restriction. The ceiling operation, ⎡_⎤, answers the upper bound of a map type's cardinality restriction.